Abstract: The reliability design and verification of spacecraft system is a key issue in spacecraft system design. With the increasing degree of complexity, comprehensiveness and intelligence of spacecraft system, the traditional reliability design based on static system architecture is becoming less and less able to meet the design requirements. The model based system design method has advantages in the integrated design of system structure and behavior. On the bases of decomposing the reliability design and analysis of spacecraft control system based on MBSE concept, a generalized spacecraft component level and system level reliability verification model is established using SysML modeling language. And an integrated cross level model and its design process of reliability architecture and behavior design and verification are further established. The parameter transfer and management method within and between models are designed and described via instance table, Opaque element and value property. The design practice shows that the whole solution proposed in this paper can meet the requirements of universalized spacecraft system reliability design and verification, and is conducive to the development of modeling and modularization of spacecraft system design.

Key words: model based system engineering (MBSE), reliability design, reliability verification, SysML modeling language